functor F (
  A : sig
    exception E
  end
) =
struct
  exception E2 = A.E
end
